x86emul: correct EVEX decoding
authorJan Beulich <jbeulich@suse.com>
Tue, 5 Sep 2017 15:32:43 +0000 (17:32 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 5 Sep 2017 15:32:43 +0000 (17:32 +0200)
commiteb4e638a474792137414f03409e78477810c3436
tree14e9e4b1c30166d601bc804dd78d99cb34422644
parenta6488965ca3ec30f2e0b7022b539bba78c2aeede
x86emul: correct EVEX decoding

While these are latent issues only for now, correct them right away:
- unnamed (in the SDM) EVEX bits need to be set/clear respectively
- EVEX.V' (called RX in our code) needs to uniformly be 1 in non-64-bit
  modes,
- EXEX.R' (called R in our code) is uniformly being ignored in
  non-64-bit modes.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/x86_emulate/x86_emulate.c